Solving Equations by Graph Transformation
نویسندگان
چکیده
منابع مشابه
Solving Equations by Graph Transformation
We review the concept of term graph narrowing as an approach for solving equations by transformations on term graphs. Term graph narrowing combines term graph rewriting with rst-order term uni cation. This mechanism is complete for all term rewriting systems over which term graph rewriting is normalizing and conuent. This includes, in particular, all convergent term rewriting systems. Completen...
متن کاملDIFFERENTIAL TRANSFORMATION METHOD FOR SOLVING FUZZY FRACTIONAL HEAT EQUATIONS
In this paper, the differential transformation method (DTM) was applied to solve fuzzy fractional heat equations. The elementary properties of this method were given. The approximate and exact solutions of these equations were calculated in the form of series with easily computable terms. The proposed method was also illustrated by some examples. The results revealed that DTM is a highly effect...
متن کاملDelaying Constraint Solving in Symbolic Graph Transformation
Applying an attributed graph transformation rule to a given object graph always implies some kind of constraint solving. In many cases, the given constraints are almost trivial to solve. For instance, this is the case when a rule describes a transformation G ⇒ H, where the attributes of H are obtained by some simple computation from the attributes of G. However there are many other cases where ...
متن کاملSolving Fuzzy Partial Differential Equation by Differential Transformation Method
Normal 0 false false false ...
متن کاملBounded Model Checking of Graph Transformation Systems via SMT Solving
Bounded model checking (BMC) complements classical model checking by an efficient technique for checking error-freedom of bounded system paths. Usually, BMC approaches reduce the verification problem to propositional satisfiability. With the recent advances in SAT solving, this has proven to be a fast analysis. In this paper we develop a bounded model checking technique for graph transformation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00200-2